 |
0 索取号:TP31-53/E9020/1983 作者:SOFTFAIR (1983 : Arlington、 Va.)、IEEE Computer Society.、United States. National Bureau of Standards.、ACM Sigsoft.、 出版社:Silver Spring,MD New York, N.Y. : IEEE Computer Society Press, 1983.
|  |
0 索取号:TP31/E90188 作者: 出版社:Reading, Mass. : Addison-Wesley, 1981.
|
 |
0 索取号:TP391.7/E991 作者: 出版社:Boston : Kluwer Academic, 1999.
|  |
0 索取号:TP31/E90159 作者:NATO Advanced Research Workshop on Program Transformation and Programming Environments (1983 : Munich、 Germany)、Pepper、 Peter.、NATO Science Committee.、North Atlantic Treaty Organization. Scientific Affairs Division.、 出版社:Berlin ; New York : Springer-Verlag, 1984.
|
 |
0 索取号:TP31/E90180 作者:Pohl、 Ira.、Shaw、 Alan C.、 1937- joint author.、 出版社:Rockville Potomac, MD : Computer Science Press, 1981.
|  |
0 索取号:TP31/E90185 作者:McGettrick、 Andrew D.、 1944-、Smith、 Peter D. (Peter Desmond)、 1950-、 出版社:London ; Reading, Mass. : Addison-Wesley, 1983.
|
 |
0 索取号:H052/E993.2 作者:Booth、 Vernon.、 出版社:Beijng : Tsinghua University Press, 1999.
|  |
0 索取号:TP31/E9029 作者:Gries、 David、 1939-、 出版社:New York : Springer-Verlag, 1981.
|
 |
0 索取号:TP31/E8025 作者:Brady、 J. M.、 出版社:London : Chapman and Hall ; New York : Wiley : distributed in the U.S.A. by Halsted Press, 1977.
|  |
0 索取号:TP302-53/E803/16 作者:Computer Performance Evaluation Users Group. Meeting (16th : 1980 : Orlando、 Fla.)、Highland、 Harold Joseph.、United States. National Bureau of Standards.、Institute for Computer Sciences and Technology.、United States. Navy Data Automation Facility.、 出版社:Washington, D.C. : The Bureau : For sale by the Supt. of Docs., U.S. G.P.O., 1980.
|
 |
0 索取号:TP302-53/E906/1983 作者:Total Systems Reliability Symposium (1983 : National Bureau of Standards)、IEEE Computer Society.、Institute of Electrical and Electronics Engineers.、 出版社:Silver Spring, MD : IEEE Computer Society Press, 1983.
|  |
0 索取号:TP302/E9029/2 作者:NATO Advanced Study Institute on Information Science (1978 : Crete、 Greece)、Debons、 A.、Larson、 Arvid G.、 出版社:The Hague ; Boston : M. Nijhoff ; Hingham, MA : Distributors for the U.S. and Canada, Kluwer Boston, 1983.
|
 |
0 索取号:TP302/E9029/1 作者:NATO Advanced Study Institute on Information Science (1978 : Crete、 Greece)、Debons、 A.、Larson、 Arvid G.、 出版社:The Hague ; Boston : M. Nijhoff ; Hingham, MA : Distributors for the U.S. and Canada, Kluwer Boston, 1983.
|  |
0 索取号:TP301-53/E991/6 作者:Symposium on Logic in Computer Science (6th : 1991 : Amsterdam、 Netherlands)、IEEE Xplore (Online service).、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、 出版社:Los Alamitos, Calif. : IEEE Computer Society Press, c1991.
|
 |
0 索取号:TP301-53/E991/1986 作者:Symposium on Logic in Computer Science (1986 : Cambridge、 Mass.)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、ACM Special Interest Group for Automata and Computability Theory.、Association for Symbolic Logic.、European Association for Theoretical Computer Science.、 出版社:Washington, D.C. : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1986.
|  |
0 索取号:TP301/E994 作者: 出版社:N.Y. Boston : Academic Press, 1992.
|